Skip to content

CI: different names for publish jobs#431

Merged
ForNeVeR merged 1 commit intomasterfrom
ci/names
Nov 23, 2025
Merged

CI: different names for publish jobs#431
ForNeVeR merged 1 commit intomasterfrom
ci/names

Conversation

@ForNeVeR
Copy link
Copy Markdown
Member

No description provided.

@ForNeVeR ForNeVeR self-assigned this Nov 23, 2025
@ForNeVeR ForNeVeR merged commit 33bc04e into master Nov 23, 2025
7 checks passed
@ForNeVeR ForNeVeR deleted the ci/names branch November 23, 2025 17:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant